Buy Used and New Moreno Falaschi Books

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers: 9527 (Lecture Notes in Computer Science)

by Moreno Falaschi

ISBN 13: 9783319274355

Format: Paperback (404 pages)
Publisher: Springer
Published: 10 Jan 2016

Save for later

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings: 724 (Lecture Notes in Computer Science)

by Antoine Rauzy, Patrick Cousot, Moreno Falaschi, Gilberto File

ISBN 13: 9783540572640

Format: Paperback (300 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later